Modern Compiler Implementation in Java
by Andrew W. Appel,Jens Palsberg
ISBN 13: 9780521820608
Format: Hardcover (512 pages) Publisher: Cambridge University Press Published: 21 Oct 2002
Save for later
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ... April 2, (Lecture Notes in Computer Science)
by Holger Hermanns,Jens Palsberg
ISBN 13: 9783540330561
Format: Paperback (524 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science)
by Isil Dillig,Jens Palsberg
ISBN 13: 9783319737201
Format: Paperback (560 pages) Publisher: Springer Published: 10 Jan 2018